Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
31	Quantitative Domains, Groupoids and Linear Logic Paul Taylor 1989 Abstract We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors wi Add to Reading List Source URL: www.paultaylor.eu - Date: 2009-02-12 12:08:31
32	Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI, Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-08-29 16:45:53 Temporal logic Linear temporal logic Diagram Symbol FO
33	Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2015-10-07 14:27:16 Mathematical analysis Mathematics Functional analysis Signal processing Operator theory Image compression Wavelet transform Wavelet Distribution Constructible universe Craig interpolation Linear temporal logic
34	Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2016-03-07 03:07:07 Mathematical analysis Distribution Functional analysis Linear temporal logic
35	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
36	Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito† Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-10-08 04:24:20 Mathematical analysis Analysis Measure theory Generalized functions Smooth functions Transportation theory Distribution Linear temporal logic
37	Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-05-24 15:35:25 Mathematics Logic Model theory Abstraction Limit Interpretation IP Bayesian network Static single assignment form Symbol Expected value Linear temporal logic
38	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Logic Proof theory Mathematical logic Philosophy Sequent Linear logic Soundness Logic programming Inductive reasoning
39	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification
40	Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK Add to Reading List Source URL: fct2013.csc.liv.ac.uk Language: English - Date: 2013-06-20 05:30:29 Mathematics Theoretical computer science Mathematical logic Fibonacci number LRS Algebraic geometry Thoralf Skolem Quantum computing